package(default_visibility = ["//visibility:public"])

cc_library(
    name = "boot_picobin_headers",
    hdrs = ["include/boot/picobin.h"],
    includes = ["include"],
    deps = [
        "//src:pico_platform_internal",
    ],
)
